//]]>
Computational Logic in Multi-Agent Systems by Fisher, Michael. Publication: . Approx. 230 p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business Process Management by Barros, Alistair. Publication: . XV, 354 p. 128 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Euro-Par 2012 Parallel Processing by Kaklamanis, Christos. Publication: . XXVII, 960 p. 369 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
FM 2012: Formal Methods by Giannakopoulou, Dimitra. Publication: . XVI, 488 p. 142 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
E-Voting and Identity by Kiayias, Aggelos. Publication: . X, 257 p. 26 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
PRIMA 2012: Principles and Practice of Multi-Agent Systems by Rahwan, Iyad. Publication: . XII, 243 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rules on the Web: Research and Applications by Bikakis, Antonis. Publication: . XV, 325 p. 62 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Convergence and Hybrid Information Technology by Lee, Geuk. Publication: . XX, 763 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Topics in Performance Evaluation, Measurement and Characterization by Nambiar, Raghunath. Publication: . XIV, 213 p. 60 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
ICT as Key Technology against Global Warming by Auweter, Axel. Publication: . IX, 127 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundational and Practical Aspects of Resource Analysis by Peña, Ricardo. Publication: . VII, 143 p. 30 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods for Industrial Critical Systems by Stoelinga, Mariëlle. Publication: . XIV, 223 p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Business System Management and Engineering by Ardagna, Claudio A. Publication: . X, 197 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interactive Theorem Proving by Beringer, Lennart. Publication: . XI, 419 p. 37 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Agents for Educational Games and Simulations by Beer, Martin. Publication: . X, 195 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic-Based Program Synthesis and Transformation by Vidal, Germán. Publication: . X, 254 p. 61 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Generic and Indexed Programming by Gibbons, Jeremy. Publication: . VII, 259 p. 24 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Central European Functional Programming School by Zsók, Viktória. Publication: . VII, 533 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Transactions on Computational Collective Intelligence VII by Nguyen, Ngoc Thanh. Publication: . XI, 237 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
RoboCup 2011: Robot Soccer World Cup XV by Röfer, Thomas. Publication: . XXV, 600 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية